Assert $\neg$(True = False)